package typechecker.ast.term;


public class LambdaApplication extends Expression {
	private Expression fun , arg;
	
	public LambdaApplication(Expression fun, Expression arg) {
		this.fun = fun;
		this.arg = arg;
	}

	@Override
	public String preetyPrint() {
		String ret = "(" + fun.preetyPrint() + " " + arg.preetyPrint()+")";
		return ret;
	}
	
	public Expression getFun() {
		return fun;
	}
	
	public Expression getArg() {
		return arg;
	}
}
